Logical Analysis of Fragments of Natural Language
نویسنده
چکیده
7
منابع مشابه
Fragments of Language (Abstract)
What logical resources do the various constructions of natural languages put at their speakers’ disposal? What, for example, can we say using relative clauses, or pronouns, or passives, that we could not have said without them? What additional expressive power is provided by such mechanisms as quantifier rescoping, plural quantification, tense and aspect, and temporal or spatial prepositions? O...
متن کاملEffective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
We present a framework for obtaining effective characterizations of simple fragments of future temporal logic (LTL) with the natural numbers as time domain. The framework is based on a form of strongly unambiguous automata, also known as prophetic automata or complete unambiguous Büchi automata and referred to as Carton–Michel automata in this paper. These automata enjoy strong structural prope...
متن کاملToward Probabilistic Natural Logic for Syllogistic Reasoning
Natural language contains an abundance of reasoning patterns. Historically, there have been many attempts to capture their rational usage in normative systems of logical rules. However, empirical studies have repeatedly shown that human inference differs from what is characterized by logical validity. In order to better characterize the patterns of human reasoning, psychologists have proposed a...
متن کاملBilingual Logical Analysis of Natural Language Sentences
One of the main aims of logical analysis of natural language expressions lies in the task to capture the meaning structures independently on the selected “mean of transport,” i.e. on a particular natural language used. Logical analysis should just offer a “bridge between language expressions.” In this paper, we show the preliminary results of automated bilingual logical analysis, namely the ana...
متن کاملFragments of Language
By a fragment of a natural language we mean a subset of that language equipped with semantics which translate its sentences into some formal system such as first-order logic. The familiar concepts of satisfiability and entailment can be defined for any such fragment in a natural way. The question therefore arises, for any given fragment of a natural language, as to the computational complexity ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006